RuleRunner technical report
نویسنده
چکیده
Runtime verification (RV) of a given correctness property φ (often formulated in linear temporal logic LTL [1]) aims at determining the semantics of φ while executing the system under scrutiny; a monitor is defined as a device that reads a finite trace and yields a certain verdict [2]. Runtime verification may work on finite (terminated), finite but continuously expanding, or on prefixes of infinite traces. A monitor may control the current execution of a system (online) or analyse a recorded set of finite executions (offline). There are many semantics for finite traces: FLTL [3], RVLTL [4], LTL3 [5], LTL± [6] just to name some. Since LTL semantics is based on infinite behaviours, the issue is to close the gap between properties specifying infinite behaviours and finite traces. There exist several RV systems, and they can be clustered in three main approaches, based respectively on rewriting, automata and rules.
منابع مشابه
Scalable Process Monitoring through Rules and Neural Networks
In this paper we introduce RuleRunner, a Runtime Verification system for monitoring LTL properties over finite traces. By exploiting results from the Neural-Symbolic Integration area, a RuleRunner monitor can be encoded in a recurrent neural network. The results show that neural networks can perform real-time runtime verification and techniques of parallel computing can be applied to improve th...
متن کاملTransradial Neurointerventional Approach to Basilar Tip Aneurysm: Case Report and Technical Note
Cerebral angiography through transfemoral approach is preferred in most of the situation though in cardiovascular surgery transradial angiography is accounted as the superior standard. The present study aimed at presenting our early experience of transradial approach to cerebral angiography and intervention of a patient with basilar tip aneurysm that had inappropriate vasculature to perform rou...
متن کاملمقاومت حقیقی به داروهای بیحس کننده موضعی: (گزارش مورد)
Background: We report a case with apparent resistance to local anesthetics. While regional anesthetics failure are often attributed to technical failure, the clinical presentation and medical history of this patient suggests a true resistance to local anesthetics. Case report: A 28 years old man was scheduled for elective orthopedic surgery for right sided tibial bone fracture, and decision of...
متن کاملOpenmp Technical Report 2 on the Ompt Interface This Technical Report Specifies Ompt: an Openmp Tools Application Programming Interface for Performance Analysis Tools Application Programming Interface for Performance Analysis , and Other Members of the Openmp Tools Working Group
This technical report describes possible future directions or extensions to the OpenMP Specification. The goal of this technical report is to build more widespread existing practice for an expanded OpenMP. It gives advice on extensions or future directions to those vendors who wish to provide them possibly for trial implementation, allows OpenMP to gather early feedback, support timing and sche...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1306.0810 شماره
صفحات -
تاریخ انتشار 2013